Distribution-Free Testing for Monomials with a Sublinear Number of Queries
نویسندگان
چکیده
We consider the problem of distribution-free testing of the class of monotone monomials and the class of monomials over n variables. While there are very efficient testers for a variety of classes of functions when the underlying distribution is uniform, designing distribution-free testers (which must work under an arbitrary and unknown distribution) tends to be more challenging. When the underlying distribution is uniform, Parnas et al. (SIAM J. Discr. Math., 2002) give a tester for (monotone) monomials whose query complexity does not depend on n, and whose dependence on the distance parameter is (inverse) linear. In contrast, Glasner and Servedio (Theory of Computing, 2009) prove that every distribution-free tester for monotone monomials as well as for general monomials must have query complexity Ω̃(n1/5) (for a constant distance parameter ε). In this paper we present distribution-free testers for these classes with query complexity Õ(n1/2/ε). We note that in contrast to previous results for distribution-free testing, our testers do not build on the testers that work under the uniform distribution. Rather, we define and exploit certain structural properties of monomials (and functions that differ from them on a non-negligible part of the input space), which were not used in previous work on property testing. ACM Classification: F.2.2, G.2.0, G.3 AMS Classification: 68Q25, 68W20, 68W25, 68W40
منابع مشابه
Distribution-Free Testing Algorithms for Monomials with a Sublinear Number of Queries
We consider the problem of distribution-free testing of the class of monotone monomials and the class of monomials over n variables. While there are very efficient algorithms for testing a variety of functions classes when the underlying distribution is uniform, designing distributionfree algorithms (which must work under any arbitrary and unknown distribution), tends to be a more challenging t...
متن کاملProgression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
In 2010, Groth constructed the only previously known sublinear-communication NIZK circuit satisfiability argument in the common reference string model. We optimize Groth’s argument by, in particular, reducing both the CRS length and the prover’s computational complexity from quadratic to quasilinear in the circuit size. We also use a (presumably) weaker security assumption, and have tighter sec...
متن کاملAnswering UCQs under Updates and in the Presence of Integrity Constraints
We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query after every database update. We consider unions of conjunctive queries (UCQs) and focus on the query evaluation tasks testing (decide whether an input tuple a...
متن کاملبررسی میزان همخوانی عبارتهای جستجوی کاربران با اصطلاحات پیشنهادی مقالات در پیشینههای کتابشناختی پایگاههای اطلاعاتی لاتین EBSCO و IEEE
Purpose: This study aims to investigate correspondence of users' queries with alternative terms of Latin databases namely IEEE and EBSCO. Databases display subjective content of their documents through natural or controlled language vocabularies in specified bibliographic fields along with other bibliographic information that are called papers alternative terms. Methodology: We used content an...
متن کاملTesting ±1-Weight Halfspaces
We consider the problem of testing whether a Boolean function f : {−1, 1} → {−1, 1} is a±1-weight halfspace, i.e. a function of the form f(x) = sgn(w1x1+w2x2+· · ·+wnxn) where the weightswi take values in {−1, 1}. We show that the complexity of this problem is markedly different from the problem of testing whether f is a general halfspace with arbitrary weights. While the latter can be done wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theory of Computing
دوره 7 شماره
صفحات -
تاریخ انتشار 2011